Previous | 
Home
Section: Software
SIPE: Small Integer Plus Exponent
Participant : Vincent Lefèvre.
SIPE (Small Integer Plus Exponent) is a C header file providing a fast floating-point arithmetic with correct rounding to the nearest in very small precision. Implemented operations are the addition, subtraction, multiplication, FMA, and minimum/maximum/comparison functions (of the signed numbers or in magnitude). SIPE has been written for exhaustive tests of simple algorithms in small precision in order to prove results or find conjectures (which could then be proved). In 2011, a research report was written about SIPE [62] , including documentation and proof of the implementation; some bugs were fixed at the same time.
-
ACM: D.2.2 (Software libraries), G.4 (Mathematical software).
-
AMS: 26-04 Real Numbers, Explicit machine computation and programs.
-
License: LGPL version 2.1 or later.
-
Type of human computer interaction: C header file.
-
OS/Middleware: any OS.
-
Required library or software: GCC compiler.
-
Programming language: C.
-
Documentation: Research report RR-7832. [62]